Fix copy & paste problem in Ignore List Editor

Fixes #1355