Fix one last formatting issue