More work on 7.6