Add Javadoc, after question of Antoine