javadoc's overview.html moved out of root
tiny fix of heading