fix issue #87. (reopened)