Added return-type checking
update the readme