Added small patch to silence spurious warnings