began corrected-AIC derivation, various small changes