no new blank line after <code><?php </code> for consistency with other files.