GitHub #131: Explicitly select new patch after creation