Fix spelling of Alan Perlis' last name