Am Sun, 14 Jun 2015 09:29:06 +0100 schrieb Joseph Wright: >> Btw: This doesn't work either > Problem identified: will also be fixed in an update (I'll send > later today). Ups. That was a bug too? I thought it was due to some catcode difference ;-). -- Ulrike Fischer http://www.troubleshooting-tex.de/