Another doubles-related bug