On Wed, 2015-03-11 at 11:58 -0700, Kevin O. Grover wrote: > Ok, so it really does look like a bug. Should I submit it to the bug > tracker or do anything else? Please file a bug. -- Mathematics is the supreme nostalgia of our time.