Cosmetic changes on Makefile/out-pretty. Closing for today.