Fix bug: make check-polly work