Bug fix in Buddy heap allocator