Minor: missing blank line at EOF