Fix regex in michael.js