Small debugging modifications due to new view support