Fix code alignment in the specs