Tweaking selector for older javadoc.