Minor rewording of FPT_AEX_EXT.1.1