On Thu, Oct 26, 2000 at 03:45:27PM -0700, I wrote:
> +	buffer += sprintf("ASID: %p\n", mm);

Obviously, this should be:

+	buffer += sprintf("ASID:\t%p\n", mm);

for consistency.

	J