Syntax correction for rec