null_inst* : style corrections.