Two minor bugs in the code.