Moved a couple of lines that somehow ended up after a proof when they should have been before it.