Fixes bug #36