Silence bison warning.