small fix for docs