Fix a warning (issue #4).