bug fixes. Missing )