(it makes the code looks super ugly. Why not fix the tools?)