minor NTUA mirror fix