Replaced possible cases for @param in gui.py.