Small change in Javadoc title page