Fix for Punch file