Bug-fix: wrong constant name