some corrections, java-doc