Fixing minor test bug shown on Linux