Nevermind. Ignore this comment, just saw that this is the same pattern in the whole file.