diff --git a/src/arch/x86_64/paging/entry.rs b/src/arch/x86_64/paging/entry.rs
index ea657e6e0d21aec6702f88b3048bfc76281e8862..38ec68e434fa4432aaadb0988ca1eedfa57e3160 100644
--- a/src/arch/x86_64/paging/entry.rs
+++ b/src/arch/x86_64/paging/entry.rs
@@ -67,6 +67,6 @@ impl Entry {
 
     /// Set bits 52-61 in entry, used as counter for page table    
     pub fn set_counter_bits(&mut self, count: u64) {
-        self.0 = ((self.0 & 0xc00fffff_ffffffff) | (count << 52));
+        self.0 = (self.0 & 0xc00fffff_ffffffff) | (count << 52);
     }
 }
diff --git a/src/arch/x86_64/paging/table.rs b/src/arch/x86_64/paging/table.rs
index 1950719faf8ef4b4e76f1be10a5cd4bab87ad663..4f6e4acae347b7a4b275bfeaa99ab24819bf9c34 100644
--- a/src/arch/x86_64/paging/table.rs
+++ b/src/arch/x86_64/paging/table.rs
@@ -61,7 +61,7 @@ impl<L> Table<L> where L: TableLevel {
 
     /// Set number of entries in first table entry
     fn set_entry_count(&mut self, count: u64) {
-        assert!(count <= ENTRY_COUNT, "count can't be greater than ENTRY_COUNT");
+        assert!(count <= ENTRY_COUNT as u64, "count can't be greater than ENTRY_COUNT");
         self.entries[0].set_counter_bits(count);
     }