minor for #668