This is one of the places where a `&[@T]` was constructed previously from a `@T`. But the comment needs to be updated, as I inadvertently reverted a typo fix ("authoratative" below).