White-space fix for the previous commit.