Specify mavericks