slight typesetting issues resolved