Another minor bugfix.