Arrgh! _Another_ missed commit. I really must do something about