Minor improvements

• Some docs
• Coding style
• Simplification of `Model#has`