(minor cleanup covered by previous log entry)