Small fixes to what I was saying