Add fact to workaround warning error