Added various virtual declariations; small documentation fixes