Add append(int) and fix documentation.