Fix yet another mistake