Minor bugfix (fixes build)