Yes, it should work.
Actually, it wasn't that. I just set up OS X on a different storage device, which led to this issue.
I selected the repair option.
lololol ?
Yes, that's it!
Operation finished. Should I restart now?