oracle
committed
on 11 Jan 02
fix // doubling in resource_dir in evaluate_element