Fix minor errors in deconfiguring