Worth noting

•  Jose Campos, the 21-year-old right-hander who was acquired from the Mariners along with Michael Pineda in the Jesus Montero deal, has been optioned to Class A Tampa, and right-hander Bryan Mitchell has been optioned to Triple-A Scranton/Wilkes-Barre.