Fixed bugs that arose while making an example. Funny how that happens!