minor fix

only take jul 6 commit