fixes for misuse of get_nullity