Addressed a bug I introduced when fixing a previous one.