Small, insignificant formatting change.