#420 A few formal adjustments