fix a thing which should have been obvious quite a while ago