Fixed problem raised at #79.