Stir the beans and cook on high pressure for another 2 minutes. Do a quick pressure release and check for tenderness, repeating as necessary.