Minor correction in a post