Fix code formatting of zero-free