Improve javadocs (now for real)