Typo corrections, ameliorations, updates