spaces after '//'