bugfix to many ")"