Fixed a couple of problem statements.