Bug fix: wrong constant