Fix PR#193.