Correct incorrect implementation of \\)