Adding some assertions and corrected description in Keys