lockGUI: minor code style change