Error for duplicate identifier and a bit of compactification.