Fix some missed formatting