Minor Linux adjustment