Fixed small problem with javadocs formatting