Currently harmless since undo to disk is disabled, but that is not a good reason to have invalid code.