(^) minor adjustments