minor changes: deflate takes an optional name of the augmented variable