Fix #3095.