fixing typo in make check