Found, but not fixed, bug in pfn_database_alloc()