minor cleanup after previous commit (#18)