Another minor bugfix