@alindeman @dchelimsky I'm not sure how this change got in, but the file reads like this on master. So I assume this is ok?