fix minor build bug