Minor update to documentation for display.exit and window.exit