do we need to start the comment with two asterisks so that Javadoc can pick it up?