This is known to be nullable-- can't rely on it being non-null!