Verify bugfix