Just editing some javadocs, nothing much