A test for the case-insensitivity of these options would be nice.