a little bugfix