Fix format error. Again. Note to self: Only use github editor from now on.