Clarified comment (on pruning in early completion.)
Authored by: dwarren 2016-04-13
Parent: [r8674]
Child: [r8676]
