minor prettifications