minor whitespace change

Fixes #6