Bugfix for //