Code formatting of example4