Gaudi can make mistakes, so double-check it.