mirrors.dart : small code formatting