Fix half-finished documentation on debug init option (closes #382)