Use correct name in name-space closing comment

Pointed out by [at] atgeirr.