minor bug fixes for proper provision