Fixed a compile error introduced in commit 8246434471e250a6dd6ebdf1953c9325ed1bb2cd.