workaround for github bug #1