more lightweight corrections to sec 5