minor bugfix
minor bugfix

openHPI/codeocean,openHPI/codeocean,torpedro/codeocean,openHPI/codeocean,torpedro/codeocean,flxw/codeocean,flxw/codeocean,openHPI/codeocean,openHPI/codeocean,flxw/codeocean,flxw/codeocean,flxw/codeocean,torpedro/codeocean,torpedro/codeocean,torpedro/codeocean,openHPI/codeocean