Generation of pre tags using // can now only happen when the // appears at the beginning of the line.