Bugfix: dead allocation 'allocated' method was raising