If anyone of you knows why we had this second assertion, please speak up :)