Fix warning in bug #68.