fix Opera and file docs