What's funny is that this error would have been impossible to make within WP's built-in file editor. It lint checks before letting you save any edits.