Version 0.1: other bug fixes (see BUGS)