davtest: Make some style changes.

This is purely a style change commit.