Temporary fix for compilation issue (broken in 2581070ec75dce6f73ae38cdb393eb22ec7a60a9)