Merge pull request #3103 from rubenk/write_prometheus-fix-compiler-warning