Fix wrong double assert