Silly me. I fixed the bug