added tests to proof #769 is now fixed in the develop branch