merged #98: warning for ignored use of \original keyword