workaround for doc rendering bug