Correct javadoc re: referring to a theory parameter in a @SuchThat expression