Tweaking the formatting from the previous commit.