I think these comments should be /** */ comments to interact better with the future scaladoc we want to have.