Javadox fix