Javadoc partly corrected for UTF-8