Another place where None might be different from [].