minor bugfix in tests