SERVER-16507: fix duplicate assert number