remove defunct comment
(#618)