Removed a comment made obsolete by the previous commit.