Formatting fix.

@bures 

This is the same request as yesterday but without the formatting changes.