This is very cool! I've fixed this in the latest version of the document (will push it soon)