Fix #18. An ATF test-case will be imported in a while.