docs, more fixes to batch_execution