added `;` to calm nightly rustc down