Fix two small typos/bugs