Oops, I was sure I ran the tests before merging. Anyway, let's fix them.