Fix bug #26.

Fix bug #26.