#3: fix 'make check'