Minor bug fix for Linux support.