Minor modification to checkers library