Fix the pretty-printing of conditional properties