I guess we shouldn't change that before discussing it: There might be a reason why this wasn't included before (though I don't know the reason).