Fixed #5151 (false negative: improper formatstring - vector::at())