Slight elaboration of the README