Fix #1940