Added a quick hack to solve a build failure