Cosmetic changes: lines have been aligned