Sorry Pete, you are right.. this should not be a javadoc comment, just a normal one... Do you want me to do another pull request fixing that comments or can you change these comments as non-javadoc when pushing? 
Thx