Casing changes to make @kaelig happy