Fixes bug #8