Some javadoc twiddling to make links all work