Deleted ancilliary code that also appears in Version 0.9