Do we want this as a javadoc? Or just as a regular comment?