- Space after opening parenthesis: please remove it.
- It is a border case, both of you are right. Keep the duplication for now.