output formatting; last tokenizing problems solved