Formatting.
Added set-tests.
Document work-around.