I thought we have allow-nested-defs = False?
Maybe I don't know what that one does.