Backtrack fixes; READMEs