Fixed a minor problem in UlrichEnvelope.