Minor bugfixing (distribution artifact).