Fix: A minor Javadoc comment fix.