Update documentation, more specs