AIS: consistent formatting of unit tests