Tweaks

Merged Ralf Jung requested to merge ralf/prophecy_list into prophecy_list

Merge request reports