javadoc now incorrect: does not return true.