Fixes specifications for Init#init()