fixed some errors in Implementation section