Updating: a very minor fix