codex fixes, code formatting