minor fix to keep up with rust nightly