Whoops, that must have happened during rebase. I'll fix that!