That is a fair point, although for simplicity sake I prefer the noop alternative. I'm not strongly in favour of either choice though, so if that is considered better I will change it.