fix style error reported by CDash