Probably fixed a bug I hadn't seen in practice yet.