fixed a typo in the runtime monitor writeup