remove one comment which is no longer relevant, fix one stylistic issue