Fix at_doubled handling