minor bugfix, still broken