minor change, just better javadoc documentation