doc bugfix for corner command