oops, fixed `make check`.