little bugfix, hope this is gonna work, this time...