Reverted inadvertent change in Codex