fixed bug in short abstract state