Possible fix for doc/ex-tests not running correctly