Fixed DotPomdp.g