Lint: Address a couple of lint warnings in library/.