Fix formatting

Thanks @Katharine