Fix for bug #142