fixed a bug for Linux