Make it compile and remove errorneous assertion