Syntax correction in EFA-Update