Minor change, extra test on versions in jnml etc.