yet another bugfix

who would have thought \\ was so important