Fix specs for main