Character color *16 is correct ... but <aux color> refers to the preceding table with the aux numbers listed.
