Fixed bug #30.
Fixed bug #30.