strangely, it does not seem to appear once this PR is rebased on #622 !?