Minor formatting change

it bugged me.