Fix FTBFS referred in issue #3