Small bugfix regarding last commit. #67