Fixed a strange bug where the encoding of pipe character caused a problem on wikiaventuric mobile frontend version