Delete duplicate problem. Fixes #6