usage() prints in a more standard usage format