space after // (soon this will be checked by our style checker)