Fixes bug #20