Use the right comment syntax in docs.