OK, seems like the right thing to do.