Minor corrections to the output shown by the JS