Javadoc comment got dropped by accident