Three minor bugs