Fix to javadoc example