Documented a bug