Added a third / to comments (see #402)