JS minifier is more general