minor edit in WOPR checker