Updated case #4 in push specs