Helpers: Avoid duplicate inclusion (#618).