One small bugfix