bugfix for punchtab