formatting and javadocs