MINOR bugfix