fixed the auto-tester complains