Formatting: cleaned up extra lines, whitespaces, converted tabs to spaces, etc.