Oops, hadn't saved before that last commit.