Fixed bug #254.