BugFix: fixed stupid Alloc != NULL case