corrected the examples in \donttest()