Use simpler doc comment format.