workaround for a possible bug