Fix #2506.