A minor cleanup.