A little bugfix