Bugfix in shortBoolList