settings plugin: changed method for deleting options