All minor comments by Sestoft has been corrected