Small fixes, no change in meaning (hopefully)