Note that mentioned bug no longer appears to exist.