fix unlabel proof (issue #88)