bug fixes for carmel file