Changes Danilo: mostly fixing typos