Fix error in assert statement about dk <= stepk