Restore a one-line end-of-line-comment

I didn't make it on adding this fix to the PR for issue-12, so here it goes now.