Oops: remove unnecessary progn for zencoding-mode.