Tiny destructuring fixes

Expected there would be more to fix, but so far nothing big has turned up, so it's this tiny thing.