Formatting mini.cpp