My tests have convinced me that this is a bug in Butler and a very subtle one, at that. That's why I wanted the developer that wrote it to see my posts.