Fix #2739