fix arch highlighting