quick fix to a weird bug