Reformatted with io_lib:format