OK. I just wasn't sure. A while back the @Mention notifications didn't work when they should have and I wasn't sure if it had been fixed yet.