Fix broken Javadoc documentation