Bug #36, covered by testdriver but not yet fixed.