Merge pull request #1528 from roger-/micropython