Update super.rs

use syntax change