Trivial code restyling