correcting some implementations/adding examples