small changes to alpha report and assertion files