Some code ornamentation