Ah! Some of these points were really old when I first started editing this file. Sounds like this is another one which I missed because there was no reference to a version number. Looks like it should be safe to delete.