Minor: blank line EOF