Fix some formatting for CodeBook