Fix up after f5e0e9e6c0933345509f4f193dd47781afc7a7c6
Merge pull request #43 from pipping/master

Fix up after f5e0e9e6c0933345509f4f193dd47781afc7a7c6