Remove erroneous comment (fixes #20)