minor source re-formatting (needless space removed)