minor bug fixes, nothing notable