bug fixes: fix default options; fix a silly reference error