Dominic: fix javadoc