small fix for documentation