bug fixes: