misc things

[fixes: #8]