Removed superfluous "\"