minor; #8 resolved in the last few commits