Can't assume explicit names in updateSolved

Fixes #1242