Package Clause Regex matches incorrect string.

[Felalolf]

For a scion file (https://github.com/viperproject/VerifiedSCION/blob/master/pkg/slayers/doc.go),
the getPackageClause of PackageResolver.scala matches "benchmarks" and not "slayers".
It seems to me that the used regex is matching "benchmarks" of the comment "see the package benchmarks for reference".
This behavior was observed on my and a student's windows system.