fix #12: error when disabling plugin