Linux bug fixed.

Linux bug fixed.