Fixes bug #52