Fix #3095