Fix formatting mistake