Fix botched options panel update.