minor change to imageboard_extras.py