*8377* Fix abstract label