fixes #5, ready for 0.7.2