fixes bug #3