[See Rant in bugs.txt]