Changes to base

Changes to base:
commit 52c0b09036c36f1ed928663abb2f295fd36a88bb
Author: Jose Pedro Magalhaes <jpm@cs.ox.ac.uk>
Date:   Tue Apr 1 10:05:11 2014 +0100

    Typo