addition of properties in repJuice, minor correction in alternative