watch(8) stuck in devdrn

I was using watch(8) this afternoon, and on trying to quit, ran into this:

   peppercorn:~> ps axl | grep watch
     0 14200 14194   0  -8  0  3416  1056 devdrn D     p2-   0:00.01 watch -W tt

It was running on a pty, but the target tty was ttyv1.

Robert N M Watson
Computer Laboratory
University of Cambridge