Adding the missing assertion statement