minor: blank line EOF