You are right, let's normalize to `[]` and remove the special case. (I can do it at commit time if you want).