Fix assertion.
Merge branch 'ggp-20141106-alpha' of github.com:guidance-guarantee-programme/prototypes into ggp-20141106-alpha