Still investigating BUG #1 -- see BUG.md for workaround.