Add some assertions for incorrect input