fix documentation referring to old options