Bug 700908 - code after \@cond is removed