Fixed! Also, I've added a reference and page number to all the existing oracles in the book! That way it's easy to find whatever you need to generate.