fix compilation error from PR #188