fixes #1 (in fact the commit before this one did - this is to trigger
closing the issue in github)