Fixing fixpoints