Fixed a compilation issue introduced by
https://reviews.apache.org/r/12119/.