Fix syntax of a @return Javadoc