Demote eval to subsection + fix a citation