Fixing a bug I just introduced