Fixing typos after Mathias review