javadocs fixes as per Mandy's suggestion