Fixed bug #15.