changed a whitespace to make GitHub-flavoured Markdown happy