fixed errors in definitions