tiger: Make some small style changes.

This is purely a style-change commit.