small fix on docs