fixed a small bug in the hugepage allocator
Merge pull request #112 from mpetri/fix-to-hugepage-allocator

fixed a small bug in the hugepage allocator