Minor, yet relevant, bugfix... :)