Made a fairly minor change that fixed a bug.