Fix doxygen: @file must be followed by a filename or nothing. Summary string below.