Changed an abbreviation in my personal website