OK, that seems to be good! Please do that (moreover, it seems to be REALLY simple, so should be quick to add)