Add workaround for #17 to instructions