wrong gompi version in comment, please change it to `# part of gompi` (then we can't have that same problem again later)