HOPKINS: Fix censorship issue introduced in a11f579a3f1690cf55c5402b8453fbaef6dd16fb