Missed a then clause in mc-update