trivial fix
finish 6.13 6.15