fixes bug #7