Adding some nullity annotations.