Comments for @Verbatim strings