Fix minor typo ("thatm") in spec