Wellformed string function appears to be working