Алиса является ведьмой (хотя в более широком смысле таковой можно назвать и Аоко), а финальное противостояние происходит под Рождество. Иными словами, с точки зрения соответствия сюжету перевод верен.