Add a couple of forgotten `@`s.