fixes bug #258