Should these comments be in /** */ instead?