Another fix regarding what's read-only or not in the interactive console.