Style nit: whitespace after //