Fix a double-borrow bug