Fix javadoc after yDelouis’s review