SERVER-14805: fix fassert numbers