revise some unnoticed mistake