add the missing assertion