Fix bellman formatting.