Fixes bug #19