models updated, doc updated, semicolon added to end of increment_log_prob function