minor bugfix :)