Fixed a bug under linux