Style fix in xlat.c