Fix some of the post-conditions in InventoryController