Small fixes

I find this formatting more weird than the previous.