• minor bug fixes