Minor formatting fix
Spec and other small fixes