Fixed 'open import' problem