Fix a typo, add trivial info