Workaround for marked.js

Just workaround...