minor changes, just to trigger re-test of CI