use html entiy for micro, to prevent encoding issues. closes #33.