minor fix in abstract