Formatting fix to make github happy