Fix example in mask_to_mirrored_num