fix pasto about pragma attributes