Fix layout: null warnings
First two proof posts