Shorter text

darcs-hash:20081127114135-58252-bb3ce5632c6c132fd877922783f0443b01213f0d