small bugfix resulting from earlier bugfix