![](https://secure.gravatar.com/avatar/5ef3be2c0e949ae4c891de058ebf4d76.jpg?s=120&d=mm&r=g)
8 Jul
2012
8 Jul
'12
5:05 p.m.
There also appears to be something wrong with \framed. Patch proposal attached. Philipp