Style and documentation fixes