Formatting and spec debugging