Fix formatting in #43