Fix small bug in nullability