formatting, comments, and licensing