fixed bug in definition