fixes #2613 (plugin edit marks page as dirty again)