[bugfix] Fixed a failure in compilation