Fixing naming of punctured code