Fixing bug in postnumre documentation menu