fix type noticed by @jvasileff