Fix json errors in planning writeup