Minor: trailing spaces eliminated