Corrections suggested by Trux