fix #19: error when disabling plugin