Fix some oversights in Help