The rules are pretty clear. Using a "force push" constitutes a foul and this was also in the box so a penalty should have been awarded.