Fix error detected by make check