Fix bug in documentation (thanks /u/yesorknow).