fix type comment

(thanks, Sam!)