fixed an abbreviation for atk, the gnome accessibility toolkit.