Fix error in comment
(#470)