Regression on tests 7.3.4 and 7.3.5 (fixes #36); bump version