removed gratuitous abort()