be more explicit to work around warning