fixed a small bug in the hugepage allocator

there was a bug in the hugepage allocator which should now be fixed.