Fix #197, documentation mistake