a couple more 4fsc fixes