r12568: Fix rename (noted by Steinar Gunderson)