Fixed all warning reported by flint. Run clang-format.