Another bug I forgot