tiny fixes #9 #10