Typos and an example for aNaN