Fix small bug regarding string concatenation