more prettifying; crude js