Nicer output for factorial().