fixes to prime proof