fix for javascript console output