Compilation fixed after two "compilations fixed" commits.