A minor bugfix.