Hopefully fixed problems caused by case-insensitivity. Grrr.