lint and doc fixes