Jasmin version updated to guidelines. Resolves #20