Minor updates to bellman