Fix declaration compatibility issue (bug #6).

Patch to fix issue #6.