nog een bugfix #2