fixes #734

Hopefully this is self-explanatory.