Fix minor formatting mistake from last commit.