Missed an Asterix to \asterix