Fix compile error introduced in c0de612c3419958c72dd911cf679846fb6e14881