Remove extra `)'