minor changes: final fields, benchmark time