I'd put in a comment that this is a workaround for your setup.