Small fix to Cinderella/README