Fixed bug #12.