Merge branch 'brian-devel' into bot3-changes

Correctly merging in Brian's changes.