revise some tiny problems