Fix minor bug introduced in c2a1166