Fixed typos; colored inferrable annotations