Fix formatting bug