[12276] fix an annoying bug