[Reviewer: Ellie] Fix crest issue #162

BTW - Those imports where there before I made any changes.