A note on computing average state occupation times