some more prettifications