correctness: bug fix on labels