Catch test problems: failure to give personal name, or missing doctest