fix a rare build error