Issue reported here:
https://code.google.com/p/micheles/issues/detail?id=12