Fixed typos in push specs