Streamlined a little following B. Carpenter's suggestions from Stan-users.