[minor] small bugfixes