Minor change to fix compile on Linux