BUG: hacks to work around the problem of label map not being updated while editing