Thomas G. Lopes
update and lint
7e80e42