Added verbose output for phase coverage and fixed formatting of others