Some literate org file changes