W04: bugfix