small fix in a post