Minor: fixed formatting