#126: remove unnecessary portion of comment

Resolves #126.