minor: missed name change