Small documentation fix on how to cherry-pick from develop to master