Formatting fix

This is a single-line change. The diff appears larger here due to github being out of sync.