Add missing space in topdown solver output