Just a small little bugfix for me