mini-nit: space after //