Fix up some abstracts