In the following diagram:
' !pragma teoz true
activate Bob #White #Black
Bob -> Bob
Bob's activation box is drawn with a white background and black border, as expected.
However, by uncommenting out the "!pragma teoz true" line, the box is drawn with the default red border.
Perhaps this is a limitation of Teoz, but if not, I would consider this a bug.