Fix the name for the 'marked backwards' flag