Fixed bug in exampletest