Indeed. I totally ran `make check`