Minor edit to "Abbreviations"