fix a minor oversight