Nathaniel Filardo <nwf at cs.jhu.edu> added the comment: This does indeed appear to be fixed; thanks. --nwf; __________________________________ Darcs bug tracker <bugs at darcs.net> <http://bugs.darcs.net/issue1005> __________________________________