Further notebook formatting, again