Minor fixes (faster console output), updated instructions.