Fixes voor issue #35