Corrected some mistakes

Hi Jakob, I took the liberty to correct some mistakes I encountered when reading the spec...