This should be a Javadoc comment, shouldn't it?