"//" should be followed by a blank character.