Added a global definition to fix a bug