One small bugfix.