Use consistent style for header docs

Although /*! is perfectly fine for starting a header doc,
we've been using /** through out the project. So, it makes
sense to stick with the latter for consistency.