Just removing this key won't work, so you're proposing (2). It looked harder to implement than (3), and I thought that extra check won't hurt - that's why it is implemented this way.