Small changes to the PyCampus commmit