fixes bug #1