body was double and parsed wrongly due to conflicting symbol names