Fix formatting slightly.