TRIVIAL: remove obsolete comments

Sorry, I forgot to remove them in my previous commit! cc @ZogStriP