Fix compilation issue introduced by e8107fe1043289664f094c7dc707a6bf6ef88b96.