Fix style issues in automatic tests