Found a nasty buffer overrun in the help docs