Fix bug: make check-polly works