Correct bug#2025

Tested in Linux.