minor
refactor handling of selection in correction proposals