Minor style improvements to the specs