Explicitly use alpha+1 for beta in NonPV search (#939)