impossible to be null in this path.